independence from path

从路独立性